Keep me out of the loop: a more flexible choreographic projection

نویسندگان

چکیده

Choreographic programming is a paradigm where programmers write global descrip- tions of distributed protocols, called choreographies, and correct implementations are au- tomatically generated by mechanism projection. Not all choreographies pro- jectable, because decisions made one process must be communicated to other processes whose behaviour depends on them – property known as knowledge choice. The standard formulation choice disallows protocols such third-party authentication with retries, two iteratively interact, wait notified at the end this loop. In work we show how can weakened, extending class projectable these interesting behaviours. whole development formalised in Coq. Working proof assistant was crucial our development, help it provided detecting counterintuitive edge cases that would otherwise have gone unnoticed.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Automated Agents that Proficiently Negotiate with People: Can We Keep People out of the Evaluation Loop

Research on automated negotiators has flourished in recent years. Among the important issues considered is how these automated negotiators can proficiently negotiate with people. To validate this, many experimentations with people are required. Nonetheless, conducting experiments with people is timely and costly, making the evaluation of these automated negotiators a very difficult process. Mor...

متن کامل

Throw out the bathwater; keep the baby.

Health Programs paints a different picture. In a retrospective case control study, Paris and Canavan compared 32 anesthesiologists with 36 physician controls, and after an average follow-up of 7.5 yr, there was no difference in the relapse rates between these 2 groups. Likewise, the outcomes of residents did not differ from attending physicians. A similar report from Pelton involving 255 physic...

متن کامل

a structural survey of the polish posters

تصویرسازی قابلیتهای فراوانی را دارا است

15 صفحه اول

the effect of consciousness raising (c-r) on the reduction of translational errors: a case study

در دوره های آموزش ترجمه استادان بیشتر سعی دارند دانشجویان را با انواع متون آشنا سازند، درحالی که کمتر به خطاهای مکرر آنان در متن ترجمه شده می پردازند. اهمیت تحقیق حاضر مبنی بر ارتکاب مکرر خطاهای ترجمانی حتی بعد از گذراندن دوره های تخصصی ترجمه از سوی دانشجویان است. هدف از آن تاکید بر خطاهای رایج میان دانشجویان مترجمی و کاهش این خطاها با افزایش آگاهی و هوشیاری دانشجویان از بروز آنها است.از آنجا ک...

15 صفحه اول

wuthering heights and the concept of marality/a sociological study of the novel

to discuss my point, i have collected quite a number of articles, anthologies, and books about "wuthering heights" applying various ideas and theories to this fantastic story. hence, i have come to believe that gadamer and jauss are rightful when they claim that "the individaul human mind is the center and origin of all meaning," 3 that reading literature is a reader-oriented activity, that it ...

15 صفحه اول

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: EPiC series in computing

سال: 2023

ISSN: ['2398-7340']

DOI: https://doi.org/10.29007/wbw3